# typed: true

foo >= 1
